φ: P n �� � (P 1) n+1
نویسندگان
چکیده
We develop in this paper some methods for studying the implicitization problem for a rational map φ : Pn 99K (P1)n+1 defining a hypersurface in (P1)n+1, based on computing the determinant of a graded strand of a Koszul complex. We show that the classical study of Macaulay Resultants and Koszul complexes coincides, in this case, with the approach of approximation complexes and we study and give a geometric interpretation for the acyclicity conditions. Under suitable hypotheses, these techniques enable us to obtain the implicit equation, up to a power, and up to some other extra factor. We give algebraic and geometric conditions for determining when the computed equation defines the scheme theoretic image of φ, and, what are the extra varieties that appear. We also give some applications to the problem of computing sparse discriminants.
منابع مشابه
On the image of Euler’s totient function
Euler's totient function φ is the function defined on the positive natural numbers N * in the following way: if n ∈ N * , then φ(n) is the cardinal of the set {x ∈ N * : 1 ≤ x ≤ n, (x, n) = 1}, where (x, n) is the pgcd of x and n. Thus φ(1) = 1, φ(2) = 1, φ(3) = 2, φ(4) = 2, and so on. The principle aim of this article is to study certain aspects of the image of the function φ. 1 Elementary pro...
متن کاملFixed Point Theorems for Nonlinear Contractions in Menger Spaces
and Applied Analysis 3 Definition 2.7. Let X,F, t be a Menger space, and let T : X → X be a selfmapping. For each p ∈ X, x > 0 and n ∈ N, let M ( p, x, n ) min { FTkp,Tlp x : k, l ≤ n and k, l ∈ Z } , M1 ( p, x, n ) min { FTkp,Tlp x : k, l ≤ n and k, l ∈ N } , M2 ( p, x, n ) min { Fp,Tlp x : l ≤ n and l ∈ N } , O ( p, n ) { Tp : k ≤ n and k ∈ Z } , O ( p,∞ { Tp : k ∈ Z } , 2.3 where it is under...
متن کاملComputing Puiseux Expansions at Cusps of the Modular Curve X0(N)
The function field of the modular curve X 0 (N) can be written as C(x 1)[x 2 ]/(φ N) where φ N ∈ Z[x 1 , x 2 ] satisfies φ N (j(τ), j(N τ)) = 0. A place P corresponds to a discrete valuation v P on the function field (v P (g) < 0 means that a function g has a pole at P , and v P (g) > 0 means a root, of that order). The cusps are the places P where x 1 , x 2 have poles. A Puiseux expansion at a...
متن کاملSymmetric Spaces
Notations M Riemannian manifold. N 0 normal neighborhood of the origin in T p M. N p normal neighbourhood of p, N p = exp N 0. s p geodesic symmetry with respect to p. f Φ d Φ f = f • Φ. X Φ d Φ X. K(S) sectional curvature of M at p along the section S. D r s set of tensor fields of type (r, s). I(M) the set of all isometries on M Definition 1 (normal neighborhood) A neighborhood N p of p in M ...
متن کاملNotes on Algebra (fields)
Proof. The intersection P of all subfields of F is a field by Exercise 1.4. Consider the ring homomorphism φ : Z → F given by φ(n) = n · 1. Since any subfield contains 1 and is closed under addition, imφ is contained in P . If Char F = p 6= 0 then imφ is isomorphic to Z/pZ = Fp. Since this is a field, we have P = imφ ∼= Fp. If Char F = 0 then φ is injective. Define φ̂ : Q → F by φ̂(m/n) = φ(m)/φ(...
متن کاملDynamics and Rational Maps a New Section for Chapter 7 of the Arithmetic of Dynamical Systems
N be a rational map, where f 0 ,. .. , f N are homogeneous polynomials of degree d with no common factors. Then φ is defined at all points not in the indeterminacy locus Z(φ) = { P ∈ P N : f 0 (P) = · · · = f N (P) = 0 }. The map φ is said to be dominant if the image φ (P N Z(φ)) is Zariski dense, i.e., does not lie in a proper algebraic subset of P N. Alternatively, the map φ is dominant if th...
متن کامل